From b52db29f85cada182120f43c97566a7fdbc41fa5 Mon Sep 17 00:00:00 2001 From: Simon McVittie Date: Sat, 29 Feb 2020 17:13:55 +0000 Subject: [PATCH] d/rules: Adjust build options for rename of documentation to gtk_doc --- debian/changelog | 1 + debian/rules | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 8033b95e27..45fd862334 100644 --- a/debian/changelog +++ b/debian/changelog @@ -29,6 +29,7 @@ gtk+4.0 (3.98.0-1) UNRELEASED; urgency=medium - Indent with a single space * d/control.in: Update build-dependencies * d/rules: Update SONAME + * d/rules: Adjust build options for rename of documentation to gtk_doc -- Simon McVittie Sat, 29 Feb 2020 14:18:02 +0000 diff --git a/debian/rules b/debian/rules index 0f9c4d4270..5f154d5bd7 100755 --- a/debian/rules +++ b/debian/rules @@ -99,8 +99,8 @@ configure_flags_common = \ configure_flags_deb = \ -Dbroadway-backend=true \ + -Dgtk_doc=true \ -Dx11-backend=true \ - -Ddocumentation=true \ -Dman-pages=true \ -Dintrospection=true \ -Dinstall-tests=true \ -- 2.30.2